We begin by describing a concrete example from the class of problems to be considered. A continuous bivariate function f defined on the square |t| ≤ 1, |s| ≤ 1 is to be approximated by a tensor-product form involving univariate functions. For example, the approximation may be prescribed to have the form

in which the Ti are the Tchebycheff polynomials, and the coefficient functions xi(t) and yi(s) are to be chosen to achieve a good or best approximation. Will a best approximation exist? If so, how can it be obtained?

In 1933(1), Mazur and Orlicz stated that, if a conservative (i.e. convergence preserving) matrix sums a bounded nonconvergent sequence, then it must sum an unbounded sequence. Their proof of this result (2) was one of the early applications of functional analysis to summability theory, and it is based on rather deep topological properties of F K-spaces. In (3) Zeller obtained a proof of this important theorem as a consequence of his study of the summability of slowly oscillating sequences. The purpose of this note is to give a simple direct proof of this theorem using only the well-known Silverman-Töplitz conditions for regularity. In order to reduce the details of the argument, we state and prove the result for regular matrices rather than conservative matrices.

Let m be the set of all real sequences x = (xn) with norm . A linear functional L on m is said to be a Banach limit (see Banach(1), p. 32) if it has the following properties:

(i) L(x) ≥ 0, if x ≥ 0 (i.e. xn ≥ 0, for all n ∈ N)

(ii) L{e) = 1, where e = (1, 1, 1,…),

(iii) L(Sx) = L(x), where (Sx)n = xn+1.

Hardy (3) provides one of the earliest rigorous discussions of the convergence of Riemann multiple integrals of real functions with a general type of algebraic singularity. More recently, and with the advent of Lebesgue integration, various authors such as Garsia(2) have investigated singular integrals involving more general measurable functions. In this paper we shall develop an indirect potential theoretic method to obtain convergence criteria for a class of multiple integral that seems to have been neglected to date.

The noncommutative Lp-spaces (1 ≤ p ≤ ∞) of unbounded operators associated with a regular gauge space (a von Neumann algebra equipped with a faithful normal semifinite trace) are studied by many authors ((4), (5) and (7)). It is well-known that the noncommutative Lp-spaces (1 ≤ P < ∞) are Banach spaces and the dual of Lp is Lq (1 ≤ p < ∞, 1/p + 1/q = 1) by means of a Radon-Nikodym theorem.

Wiman, in 1895, found ((5), p. 208) an equation for a 4-nodal plane sextic W that admits a group S of 120 Cremona self-transformations; of these, 24 are projectivities, the other 96 quadratic transformations. S is isomorphic to the symmetric group of degree 5 and Wiman emphasizes that S does permute among themselves 5 pencils (4 pencils of lines and 1 of conics) and 5 nets (4 nets of conics and 1 of lines). But he gives no geometrical properties of W. The omission should be repaired because, as will be explained below, W can be uniquely determined by elementary geometrical conditions. Furthermore: W is only one, though admittedly the most interesting, of a whole pencil P of 4-nodal sextics; every member of P is invariant under S+, the icosahedral subgroup of index 2 in S, while the transformations in the coset S/S+ transpose the members of P in pairs save for two that they leave fixed, W being one of these. When the triangle of reference is the diagonal point triangle of the quadrangle of its nodes the form of W is (7.2) below. Wiman referred his curve to a different triangle.

Let A be a Noether ring and let = (a1,…, ar) be an ideal of A. There are a number of graded rings that we can associate with . In this paper we shall be concerned with the following.

The centralizer ring of a permutation representation of a group appears in several contexts. In (19) and (20) Schur considered the situation where a permutation group G acting on a finite set Ω has a regular subgroup H. In this case Ω may be given the structure of H and the centralizer ring is isomorphic to a subring of the group ring of H. Schur used this in his investigations of B-groups. A group H is a B-group if whenever a permutation group G contains H as a regular subgroup then G is either imprimitive or doubly transitive. Surveys of the results known on B-groups are given in (28), ch. IV and (21), ch. 13. In (28), p. 75, remark F, it is noted that the existence of a regular subgroup is not necessary for many of the arguments. This paper may be regarded as an extension of this remark, but the approach here differs slightly from that suggested by Wielandt in that it appears to be more natural to work with transversals rather than cosets.

In this paper, we prove that for any odd prime p, there are exactly two non-associative, non-Moufang, (right) Bol loops of order 4p.

Infinitesimally stable germs play an important role both as germs from which global C∞-stable mappings are constructed and as germs representing versal unfoldings of (C∞ or holomorphic) germs. Because of the presence of moduli, the C∞ (or analytic) classification of these germs is insufficient and the topological classification of these germs must be understood as well. Here we consider the classification of such germs in the region where no moduli occur. This region is important for several reasons. Most importantly, it contains the infinitesimally stable germs occurring in the nice dimensions. These are the dimensions in which globally infinitesimally stable mappings are dense among the proper C∞-mappings. In (4), it was proved that the topological and C∞-classifications agree for infinitesimally stable germs f: n, 0 → p, 0 in the nice dimensions, n ≤ p. This was then used in (5) to characterize those topologically stable germs which are C∞-stable.

By an H-space (X, μ) we will mean a topological space X having the homotopy type of a connected CW complex of finite type together with a basepoint preserving map μ: x × X → X with two sided homotopy unit. Let p be a prime and let /p be the integers reduced modp. Given an H-space (X, μ) then H*(X;/p) is a commutative associative Hopf algebra over the Steenrod algebra A*(p) and H*(X;/p) is iso- morphic, as an algebra, to a tensor product [⊗ , where each algebra At is generated by a single element ai (see Theorem 7.11 of (24)). The decomposition Ai is called a Borel decomposition and the elements {ai} are called the Borel generators of the decomposition. The decomposition ⊗ Ai and the resulting generators {at} are far from unique. Many choices are possible. Since A*(p) acts on H*(X;/p) an obvious restriction would be to choose the Borel decomposition to be compatible with this action. We would like the /p module generated by the Borel generators and their iterated pth powers to be invariant under the action of A * (p). More precisely we would like H*(X;/p) to be the enveloping algebra U(M) of an unstable Steenrod module M (see § 2). If H*(X;/p) admits such a choice then it is called a U(M) algebra. The fact that H*(X; /p) is a U(M) algebra has applications in homotopy theory. In particular there exist unstable Adams spectral sequences which can be used to calculate the homotopy groups of X (see (21) and (7)). However, the question of U(M) structures for modp cohomology seems of most interest simply as a classification device for finite H-spaces.

One of the results proved by Lance in (7) is the following.

Theorem 1. Let ø: BU(p) → BU(sp) be an H-map, where BU(p) denotes the localization of BU with respect to an odd prime p. Let ø*: π2k(BU(p))→ π2k(BU(p)) ≅ (p)) be multiplication by λk then

if n1 ≡ n2 mod(p − 1).

An exact sequence resolving the Euler operator of the calculus of variations for partial differential polynomials in several dependent and independent variables is described. This resolution provides a solution to the ‘Inverse problem of the calculus of variations’ for systems of polynomial partial equations.

That problem consists of characterizing those systems of partial differential equations which arise as the Euler-Lagrange equations of some variational principle. It can be embedded in the more general problem of finding a resolution of the Euler operator. In (3), hereafter referred to as I, a solution of this problem was given for the case of one independent and one dependent variable. Here we generalize this resolution to several independent and dependent variables simultaneously. The methods employed are similar in spirit to the algebraic techniques associated with the Gelfand-Dikii transform in I, although are considerably complicated by the appearance of several variables. In particular, a simple algebraic proof of the local exactness of a complex considered by Takens(5), Vinogradov(6), Anderson and Duchamp(1), and others appears as part of the resolution considered here.

We obtain upper and lower bounds of the same order of magnitude for the error between the distribution of a sum of independent and identically distributed random variables, and a normal approximation by a portion of a Chebychev-Cramér series. Our results are sufficiently general to contain the familiar characterizations by Ibragimov(4), Heyde and Leslie (3) and Lifshits(5), and complement some of those obtained earlier by the author (2).

This paper is a continuation of (8), and is concerned with geometrical properties of special null hypersurfaces. In particular, on a one-parameter family of null hypersurfaces in four-dimensional Lorentzian manifold V4, we consider the relation between their normal and the Debever vectors, especially repeated ones. Throughout this paper, the same notations as those in (8) are used.

It is shown that if, in an infinite homogeneous unbounded elastic heat-conducting solid, we are given the thermal stresses which arise when any arbitrarily shaped subregion of the upper half-space z > 0 is emitting any quantity of heat into the surrounding, then on introducing a different heat-conducting material into the half-space z < 0, the new thermal stresses in z >0 and in z < 0 are explicitly expressible in an invariant form in terms of the known thermal stresses in the homogeneous infinite solid. Specialization of the derived dependence shows that the physically interesting interfacial discontinuities inherent in the problem admit the representation

while the traction transmitted across the interface takes the form

where αi and βi are constants. An application is then made to the case when the region emitting heat into the surrounding is ellipsoidal, since this is a fundamental shape of practical importance. Applications can however be made to any shape of the region emitting heat, provided that the corresponding harmonic and biharmonic potentials are available.

The paper may be considered to have its origin in the half-space theorem of Lorentz in hydrodynamics.