Hurwitz's theorem says that the limit of schlicht functions, in the topology of compact convergence, is again a schlicht function or a constant function. We generalize this to mappings between Riemann surfaces and get more precise information on the relation between the distribution of values of analytic functions and the topology of compact convergence on the space of all analytic maps.

1. All operators considered in this paper are bounded operators on a Hilbert space. In case A and B are self-adjoint, certain conditions on A, B and their difference

assuring the unitary equivalence of Aand B,

have recently been obtained by Rosenblum [6] and Kato [2]. The present paper will consider the problem of investigating consequences of an assumed relation of type (2) for some unitary U together with an additional hypothesis that the difference H of (1) be non-negative, so that

First, it is easy to see that if only (2) and (3) are assumed, thereby allowing H = 0, relation (2) can hold for A arbitrary with U = I (identity) and B = A. If H = 0 in (3) is not allowed, however (an impossible assumption in the finite dimensional case, incidentally, since then the trace of H is zero and hence H = 0), it will be shown, among other things, that any unitary operator U for which (2) and (3) hold must have a spectrum with a positive measure (as a consequence of (i) of Theorem 2 below). Moreover A (hence B) cannot differ from a completely continuous operator by a constant multiple of the identity (Theorem 1). In case 0 is not in the point spectrum of H, then U is even absolutely continuous (see (iv) of Theorem 2). In § 4, applications to semi-normal operators will be given.

When the theory of Hankel transforms is applied to the solution of certain mixed boundary value problems in mathematical physics, the problems are reduced to the solution of dual integral equations of the type

where α and ν are prescribed constants and f(ρ) is a prescribed function of ρ [1]. The formal solution of these equations was first derived by Titchmarsh [2]. The method employed by Titchmarsh in deriving the solution in the general case is difficult, involving the theory of Mellin transforms and what is essentially a Wiener-Hopf procedure. In lecturing to students on this subject one often feels the need for an elementary solution of these equations, especially in the cases α = ± 1, ν = 0. That such an elementary solution exists is suggested by Copson's solution [3] of the problem of the electrified disc which corresponds to the case α = –l, ν = 0. A systematic use of a procedure similar to Copson's has in fact been made by Noble [4] to find the solution of a pair of general dual integral equations, but again the analysis is involved and long. The object of the present note is to give a simple solution of the pairs of equations which arise most frequently in physical applications. The method of solution was suggested by a procedure used by Lebedev and Uflyand [5] in the solution of a much more general problem.

Let L = L( +, v, ＾) be a lattice-ordered group, or l-group (Birkhoff [1, p. 214]). Two elements a and b of L will be called disjoint if a > 0, b > 0, and a ＾; b = 0. It is easily seen that if L does not contain two disjoint elements, then it is linearly ordered (and, of course, conversely). What can we say about Z-groups containing two but not more than two mutually disjoint elements?

Let Aand B be linearly ordered groups (o-groups), and let A ⋏ B be the cardinal sum of A and B. That is, A ⋏ B is the direct sum of A and B, and (a, b) is positive in A + B if and only if a is positive in A and b is positive in B. An l-group L containing A ⋏ B as a convex normal subgroup (or Z-ideal) is called a lexico-extension of A ⋏ B if every positive element of L not in A ⋏ B exceeds every element of A ⋏ B. It then follows (subsection 2.9 below) that L/(A ⋏ B) is an o-group. Such an l-group L is easily seen to satisfy the following condition: (D)

There exists a pair of disjoint elements in L, but no triple of pairwise disjoint elements exists in L.

In two recent papers [1, 2] the Barnes integral for the E-functions was employed to sum a number of infinite series of E-functions. In §2 of this paper, by making use of the multiplication formula for the gamma function, the method is extended to series of E-functions of a different type.

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.

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

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.

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.