§ 1. Introductory. The integral

where b>0, was given by Hardy (1). It was proved by applying Mellin's inversion formula. An alternative proof, based on the differential equation

satisfied by Kn(x), has been given by the author (2).

It is the purpose of this note to discuss the solution of the pair of series

where F(x) and G(x) are given and the coefficients an are to be determined.

In this paper we characterize semigroups S which have a semigroup Q of left quotients, where Q is an ℛ-unipotent semigroup which is a band of groups. Recall that an ℛ-unipotent (or left inverse) semigroup S is one in which every ℛ-class contains a unique idempotent. It is well-known that any ℛ-unipotent semigroup 5 is a regular semigroup in which the set of idempotents is a left regular band in that efe = ef for any idempotents e, fin S. ℛ-unipotent semigroups were studied by several authors, see for example [1] and [13].Bailes [1]characterized ℛ-unipotent semigroups which are bands of groups. This characterization extended the structure of inverse semigroups which are semilattices of groups. Recently, Gould studied in [7]the semigroup S which has a semigroup Q of left quotients where Q is an inverse semigroup which is a semilattice of groups.

In this note a theorem, giving a relation between the Hankel transform of f(x) and Meijer's Bessel function transform of f(x)g(x), is proved. Some corollaries, obtained by specializing the function g(x), are stated as theorems. These theorems are further illustrated by certain suitable examples in which certain integrals involving products of Bessel functions or of Gauss's hypergeometric function and Appell's hypergeometric function are evaluated. Throughout this note we use the following notations:

R. C. James [2] (or see p. 7ff of [3]) gave a useful representation of the bidual of any space with a shrinking basis. This note gives a representation of the bidual of any space with a basis.

Our notation follows that of [3], where undefined terms can be found. Let {en} be a basic sequence with coefficient functionals {fn}. We will assume {en} is bimonotone; that is

. The space {en}LIM is the set of scalar sequences {an} so that ∥{an}∥ = . We will abuse notation and squate such {an} with the formal sum Σ anen.

In [13], Poincaré asked the following question: Which abstract groups can appear as monodromy groups [14] of second order, linear, homogeneous differential equations with meromorphic coefficients (which might depend on one or more parameters) on ℂ? In the present paper, we initiate a classification of monodromy groups of differential equations on compact Riemann surfaces of genus 1. We proceed as follows: Let

be the general Euler equation [1] which has two regular singular points at 0 and λ in the extended complex plane C. Further, let yu(z)(v – 1,2) be an arbitrary but fixed pair of linearly independent solutions to (1) valid in a neighborhood of some ordinary point. Analytic continuation of each solution along a closed loop A in C–{0, λ}, starting and ending at some fixed base point, produces a new solution yv,A (v = 1, 2) which can be expressed as

where the constants avlx (v1 ν = l,2) in C depend on the homotopy class [A] of A. Clearly, y1,A(z)/y2,A(z) = To(y1(z)/y2(z)) where the Möbius transformation T:w→ (a11W + a12)/(a21W + a22) depends on [A]. The set of all Mobius transformations T belonging to every possible closed loop A in C–{0,λ} forms a group G, called the monodromy group of the Euler equation (1). G is generated by the Mobius transformation belonging to a simple, closed loop Ao encircling 0. Hence, G is cyclic.

Denote by

the Euler product, and by

the partition generating function. More generally, if k is any integer, put

so that p(n) = p−1(n). In [3], Atkin proved the following theorem.

If p and q are cardinal numbers and E is a topological space, then the following property may or may not hold:

Every cover of Eby fewer than q open sets has a subcover by fewer than pof them. (1)

Clearly these properties, for various numbers p and q, are far from being independent; in this paper, we investigate some of the interrelationships between them.

Many of the classical inequalities of analysis can be written in the form P(x) ≥ 0 for x ∈ I or P(x) > 0 for x ∈ I′, where P(x) is a polynomial and I′ ⊂ I are certain intervals on the real line. This gives rise to the question of where the zeros of P(x) are located. For example, if f is a polynomial with real zeros, then an inequality of Laguerre [8, p. 171 f.] asserts that

for all x. A detailed study of the zeros of this particular P(x) has been made [5].

The object of this paper is to derive, using a version of the large sieve for function fields due to J. Johnsen [6], explicit lower boundsfor the average number of distinct values taken by a polynomial over a finite field.

We define the nth cyclotomic polynomial Φn(z) by the equation

and we write

where ϕ is Euler's function.

Erdös and Vaughan [3] have shown that

uniformly in n as m-→∞, where

and that for every large m

In this paper we shall be concerned with the set Mn(B) of n x n matrices whose elements belong to a given Boolean algebra B(≤, ∪,∩,').

It is well known that Mn(B) also forms a Boolean algebra with respect to the partial ordering ≼ defined by

in which union (⋎), intersection (⋏) and complementation (*) are given by

Recall that a Noetherian ring R is a Hilbert ring if the Jacobson radical of every factor ring of R is nilpotent. As one of the main results of [13], J. E. Roseblade proved that if J is a commutative Hilbert ring and G is a polycyclic-by-finite group then JG is a Hilbert ring. The main theorem of this paper is a generalisation of this result in the case where all the field images of J are absolute fields—we shall say that J is absolutely Hilbert. The result is stated in terms of the (Gabriel–Rentschler–) Krull dimension; the definition and basic properties of this may be found in [5]. Let M be a finitely generated right module over the ring R. We write AnnR(M) (or just Ann(M)) for the ideal {r ∈ R: Mr = 0}, the annihilator of M in R. If M is also a left module, its left annihilator will be denoted l-AnnR(M). If R is a group ring JG, put

A generalization is given of a theorem of F. Brafman [1] on the equivalence of generating relations for a certain sequence of functions. The main result, contained in Theorem 2 below, may be applied to several special functions including the classical orthogonal polynomials such as Hermite, Jacobi (and, of course, Legendre and ultraspherical), and Laguerre polynomials.

In the theory of spectral (and prespectral) operators in a Banach space or in a locally convex topological vector space the countable additivity (in some topology) of a resolution of the identity of the operator is a standing assumption. One might wonder why. Even if one cannot completely agree with the opinion of Diestel and Uhl ([6, p. 32]) stating that “countable additivity [of a set function] is often more of a hindrance than a help”, it might be interesting to study which portions of the theory of (pre)spectral operators and in which form extend to the more general situation described below.

Let A be a noetherian ring. When A is commutative (of finite Krull dimension), A is said to be Gorenstein if its injective dimension is finite. If A has finite global dimension, one says that A is regular. If A is arbitrary, these hypotheses are not sufficient to obtain similar results to those of the commutative case. To remedy this problem, M. Auslander has introduced a supplementary condition. Before stating it, we recall that the grade of a finitely generated (left or right) module is defined by

We continue our studies (2, 3, 4, 5) of the algebraic, geometric, and analytical similarities and contrasts between Boolean algebras and the real field. In this note we contrast the convergence of series in set algebras with that in the real field.