Definitions and introduction. Let Ц = {Ui|i ∈ I} be a system of subsets of a normal topological space R; i.e. a mapping from the index set I into the set of all subsets of R. The order of a point x is the number of distinct member sets of Ц which contain x, and is denoted by x: Ц; the sets Ui are here considered distinct if they have distinct indices. Thus x: Ц is the number of indices i for which x ∈ Ui; ν(Ц) = max {x: Ц | x ∈ R} is called the order of the system Ц. If every point has an (open) neighbourhood meeting only finitely many members of Ц, then Ц is said to be locally finite.

A number of integrals of E-functions with respect to their parameters have been given by Ragab [1, 5]. Two further integrals of this type are given in § 2 and § 3.

In § 4 it is shown that these can be employed to sum series of products of E-functions.

The Laplace transform

has been generalised by Varma [4] by the relation

which reduces to (1.1) when k = -m + ½ by virtue of the identity

We shall define πk, m, λ (p) by the relation

The object of this paper is to obtain some recurrence formulae and series for πk, m, λ (p) and to use them to obtain recurrence formulae and series for MacRobert's E-function.

In § 2 a number of infinite series of E-functions are summed by expressing the E-functions as Barnes integrals and interchanging the order of summation and integration.

The Barnes integral employed is

where | amp z | < π and the integral is taken up the η;-axis, with loops, if necessary, to ensure that the origin lies to the left of the contour and the points α1, α2,… αp to the right of the contour. Zero and negative integral values of the α's and p's are excluded, and the α's must not differ by integral values. When p < q + 1 the contour is bent to the left at each end.

Suppose throughout that λ > 0, κ > - l. γ is real and that

The series is said to be

(i) summable (C, k) to s if

(ii) strongly summable (C, k + 1) with index λ, or summable |C, k + 1|λ, to s if

(iii) absolutely summable (C, k) with indices γ, λ, or summable |C, k + 1|λ, if

This note discusses the determination of the coefficients an in the dual trigonometrical series

where p = ± 1 and F(x), G(x) are prescribed functions of X. It is shown that this problem and the corresponding one in which the sines in equations (1) are replaced by cosines are easily reduced to a form in which the results I have recently given in this journal [1] may be applied.

As with my previous paper on this subject, the analysis is purely formal and no attempt is made to give precise conditions for which the solution is valid.

In a previous paper [3] we gave two methods for constructing subgroups which in certain senses may be considered to be dual to a verbal subgroup Vf(G) of an arbitrary group G. Associated with a word h (u, v) in the two symbols u and v, we have (i) the first dual subgroup which is defined as the minimal subgroup of G containing all elements ξ of G for which

for all values of x1, x2, …, in xn in G, and (ii), the second dual subgroup which is defined as the minimal subgroup of G containing all elements z of G for which

for all values of x1, x2, …, xn in G. Below we introduce slight variations to these definitions, which give rise to the concepts of the third and the fourth dual subgroups respectively. For certain values of h(u, v) we obtain concepts which also arise from and , namely, the marginal subgroup, the invariable subgroup and the centralizer of a verbal subgroup. We also obtain the new concepts of elemental subgroups and commutal subgroups and briefly sketch some of their properties. Finally we conclude by showing that MacLane's dual for the centralizer of a verbal subgroup is a closely related verbal subgroup.

Given a series we define , by the relations

The series is said to be summable (C, k), where k > - 1, to the sum s if

to be summable (C, - 1) to s if it converges to s and nan = o(l); to be absolutely summable (C, k), or summable | C, k, to s if it is summable (C, k) to s and

and to be strongly Cesàro summable to s with order k > 0 and index p or summable [C; k, p] to s, if

Unless the contrary is stated, all matrices are understood to be complex and of type n × n. The transposed conjugate of A is denoted by A*. The non-negative square roots of the characteristic roots of A*A are called the singular values of A; they will be denoted by st(A), i = 1, …, n, where s1(A)≥…≥ sn(A). The symbol [A]k denotes the k × k submatrix standing in the upper left-hand corner of A. We shall write Ei(z1, …, zn) for the j-th elementary symmetric function of z1..., zn, and E1(A) for the j-th elementary symmetric function of the characteristic roots of A. It is understood that, throughout, 1≥j≥k≥n.

Potential problems in which different conditions hold over two different parts of the same boundary can often be conveniently reduced to the solution of a pair of dual integral equations. In some problems, however, the boundary condition is such that different conditions hold over three different parts of the boundary and, in such cases, the integral equations involved are frequently of the form

where f(r), g(r) are specified functions of r, p = ± ½ and ø(u) is to be found. Such equations might well be called triple integral equations and, in this note, I point out certain special cases which I have found to be capable of solution in closed form.

Let G by any given group. A homomorphic mapping μ of a subgroup A of G onto a second subgroup B of G, where A and B need not be distinct, is called a partial endomorphism of G. When μ is defined on the whole of G, that is when A = G, we call μ a total endomorphism of G; or simply an endomorphism of G.

A partial (or total) endomorphism μ* of a supergroup G* of G is said to extend (or continue) μ if μ* is defined on a supergroup A* of A, that is, μ* is defined for at least the elements for which μ. is defined, and moreover μ* coincides with μ on A.

The aim of this note is to examine the basic ideas underlying Minkowski's theorem on lattice points in a symmetrical convex body and related results of Blichfeldt, and to indicate how these can be generalized. Theorems analogous to Minkowski's, on the automorphisms of quadratic forms and other linear groups and on Fuchsian groups of transformations in the complex plane, have been obtained by Siegel [6] and Tsuji [7], Generalizations which include these are due to Chabauty [2] and Santalo [5].

Many authors have proved results deducing an asymptotic expansion of

for large from the behaviour of f(t), when f(t) is regular in an appropriate part of the complex t-plane. For example, if, for some k > 0 and some Am, αm

for all large such that R(t) > C, then, as ⃗ ∞ in a suitable sector in the z-plane, we have

where Z is an appropriate value of z1/z.

In this paper we shall be concerned with the derivation of simple expressions for the sums of some infinite series involving the zeros of Bessel functions of the first kind. For instance, if we denote by γv, n (n = l, 2, 3,…) the positive zeros of Jv(z), then, in certain physical applications, we are interested in finding the values of the sums

and

where m is a positive integer. In § 4 of this paper we shall derive a simple recurrence relation for S2m,v which enables the value of any sum to be calculated as a rational function of the order vof the Bessel function. Similar results are given in § 5 for the sum T2m,v.

This note extends the concept of the inner automorphism, but here applies only to those finite groups G for which some member of the lower central series is Abelian. In general (e.g. when G is metabelian) the construction yields an endomorphism semigroup, but in the special case where Gis nilpotent (and may therefore, for our present purposes, be considered as a p-group) a group of automorphisms results.

The present paper is closely related to a paper with the same title by A. M. Macbeath [3]. We use many notions which are defined there for a measure-space; nevertheless we define them once more because we consider the slightly different case of a measure-ring.

Let Q be a complete local ring which has the same characteristic as its residue field P, and, for the present, let us denote by A the image of a subset A of Q under the natural homomorphism of Q onto P. Then a subfield F of Q is called a coefficient field if = P. It has been shown in [2] and in [3] that a complete equicharacteristic local ring, such as the above, always possesses at least one coefficient field; this is the embedding theorem for the equicharacteristic case.

Let G be a locally compact topological group, let H be a closed subgroup and let G/H be the space of left cosets = xH with the natural topology. We denote by μ a non-negative measure in G/Hdefined on the ring of Baire sets. G acts by left multiplication as a transitive group of homeomorphisms on G/H: Every t ∈ G defines the homeomorphism We write, for E ⊂ G/H, tE = . The measure μ is called stable (cf. [3], [4]) if from t ∈ G, E ⊂ G/H and μ(E) = 0 follows μ(tE) = 0. We say that μ is locally finite [3], [5] if every set of positive measure contains a subset of positive finite measure.