Suppose we have a semi-group structure defined on

a subset of real Euclidean n-space, En, by (p, q) → F (p, q) = poq. In this note we shall be concerned with a representation T(.) of π as a semi-group of bounded linear operators on a Banach space 𝒳. More particularly, we suppose that postulates P1, P2, P3, P5 and P6 of chapter 25 of (2) are satisfied so that, by Theorem 25.3.1 of that book, there is a continuous function, f(.), defined on π such that f((ρ + σ)a) = f(ρa)o f(σa) for a ∈ π, ρ,σ ≥ 0; that the representation is strongly continuous in a neighbourhood of the origin and that T(0) = I.

In a paper published in 1936 Burkill (2) proved that, if the trigonometrical series

1.1

is bounded except on a countable set and if the series obtained by integrating series (1.1) once converges everywhere, then the coefficients can be written in Fourier form using the C1P-integral. In §3 of this paper an analogous result is shown to be true when (1.1) is bounded (C, k), k < 0. The proof of this depends on generalizations of theorems by Verblunsky and Zygmund and both of these generalizations are obtained in §2.

The following result has been conjectured by Dr. Birch. Let z1 z2, . . . , zn be any n complex numbers such that

(1)

Then

(2)

attains its greatest value when the z are at the vertices of a regular n-sided polygon inscribed in the circle |z| =1.

It seems to be difficult to prove this but Dr. Birch informs me that some work by Mullholland shows that the result is false for large n. I can, however, prove that the result is true for n = 3, and then Δ ≤ 27. The suggested general result would be Δ ≤ nn.