§1. The Cardinal Function of Interpolation Theory is the function

which takes the values an at the points x = n. Ferrar has recently proved

Theorem1. If are convergent, C(x)is an m-function3for

This means that C(x) is a solution of the intergral equation

Ferrar's proof deals with functions of a real variable and involves some rather difficult double limit considerations.

Some years ago Lambe and Ward (1) and Erdélyi (2) obtained integral equations for Heun polynomials and Heun functions. The integral equations discussed by these authors were of the form

Further, as is well known, the Heun equation includes, among its special cases, Lamé's equation and Mathieu's equation and so (1.1) may be considered a generalisation of the integral equations satisfied by Lamé polynomials and Mathieu functions. However, integral equations of the type (1.1) are not the only ones satisfied by Lamé polynomials; Arscott (3) discussed a class of non- linear integral equations associated with these functions. This paper then is concerned with discussing the existence of non-linear integral equations satisfied by solutions of Heun's equation.

Some properties of polynomials associated with strong distribution functions are given, including conditions for the polynomials to satisfy a three term recurrence relation. Strong distributions that are extensions to the four classical distributions are given as examples.

Theorem 1 needs very little explanation. It is the converse of the well known theorem that the indefinite integral F(x) of a function f(x) possesses a derivate on the right at every point at which f(x + 0) exists. If f(x + 0) does not exist, nothing can be said as to the existence or otherwise of F+(x); but in a general way we might expect that the integral of a function which oscillates comparatively slowly, say sin (log x) at x = 0, would be more likely to possess a derivate than that of a function which oscillates more rapidly, say . It appears from Theorem 1 that this is not by any means the case. In fact the integral of sin (log x) has not a definite derivate at x = 0 while that of has such a derivate.

The definitions of finite dimensional baric, train, and special train algebras, and of genetic algebras in the senses of Schafer and Gonshor (which coincide when the ground field is algebraically closed, and which I call special triangular) are given in Worz-Busekros's monograph [8]. In [6] I introduced applications requiring infinite dimensional generalisations. The elements of these algebras were infinite linear forms in basis elements a0, a1,… and complex coefficients such that In this paper I consider only algebras whose elements are forms which only a finite number of the xi are non zero.

We consider the following nonlinear elliptic equations

\begin{gather*} \begin{cases} \Delta u+u_{+}^{N/(N-2)}=0\amp\quad\text{in }\sOm, \\ u=\mu\amp\quad\text{on }\partial\sOm\quad(\mu\text{ is an unknown constant}), \\ \dsty\int_{\partial\sOm}\biggl(-\dsty\frac{\partial u}{\partial n}\biggr)=M, \end{cases} \end{gather*}

where $u_{+}=\max(u,0)$, $M$ is a prescribed constant, and $\sOm$ is a bounded and smooth domain in $R^N$, $N\geq3$. It is known that for $M=M_{*}^{(N)}$, $\sOm=B_R(0)$, the above problem has a continuum of solutions. The case when $M>M_{*}^{(N)}$ is referred to as supercritical in the literature. We show that for $M$ near $KM_{*}^{(N)}$, $K>1$, there exist solutions with multiple condensations in $\sOm$. These concentration points are non-degenerate critical points of a function related to the Green's function.

AMS 2000 Mathematics subject classification: Primary 35B40; 35B45. Secondary 35J40

A subgroup Q of a group G is called quasinormal in G if Q permutes with every subgroup of G. Of course a quasinormal subgroup Q of a group G may be very far from normal. In fact, examples of Iwasawa show (for a convenient reference see [8]) that we may have Q core-free and the normal closure QG of Q in G equal to G so that Q is not even subnormal in G. We note also that the core of Q in G, QG, is of infinite index in QG in this example. If G is finitely generated then any quasinormal subgroup Q is subnormal in G [8] and although Q is not necessarily normal in G we have that |QG:Q| is finite and |QG:Q| is a nilpotent group of finite exponent [5].

Let (R, m) be a Noetherian local reduced ring of positive prime characteristic. We show that if R is ℚ-Gorenstein then the test ideal of R localizes, which extends a result of K. E. Smith. We also show that if Rc, is weakly F-regular and ℚ-Gorenstein, then c has a power which is a completely stable test element. This extends results of Höchster and Huneke.

[At the first meeting of this Session a paper was read on the value of cos 2π/17, which evidently may be made to depend on the solution of x17 – 1 = 0.* The present paper is the outcome of a suggestion then made, that a sketch of Gauss's treatment of the general equation might prove interesting. To give completeness to the subject the necessary theorems on congruences have been prefixed. The convenient notation introduced by Gauss is here adopted; thus, when the difference between a and b is divisible by p, instead of writing a = Mp + b, we may write a ≡ b (mod p), the value of M seldom being of importance. It is evident that if a ≡ b, then na ≡ nb, and an ≡ bn, n being any positive integer, and the same modulus p being understood throughout. Also a/n ≡ b/n provided n be prime to p. Other properties (similar to those of equations) are easily seen, but only the above are needed here.

It is shown that, if a non-linear locally finite simple group is a union of finite simple groups, then the centralizer of every element of odd order has a series of finite length with factors which are either locally solvable or non-abelian simple. Moreover, at least one of the factors is non-linear simple. This is also extended to abelian subgroup of odd orders.

The theorem is well known. So also is the theorem that if concerning a determinant Λ and its reciprocal expressed by means of cofactors Aij of aij. Not quite so well known is the Cayley Hamilton theorem that a matrix X =[xij] satisfies its own characteristic equation

Unlike as these three results are, they nevertheless can be looked upon as particular phases of a general theorem concerning a matrix differential operator acting upon a function of a matrix X or its transposed.

The method of summability with which I shall be concerned here is denoted by (V, α ) and is defined as follows:—The series Σαn is said to be summable (V, α ) to the sum s if

This is a particular case of a method due to Valiron in which μ–2α is replaced by a function of μ.

Let T and S be quasisimilar operators on a Banach space X. A well-known result of Herrero shows that each component of the essential spectrum of T meets the essential spectrum of S. Herrero used that, for an n-multicyclic operator, the components of the essential resolvent set with maximal negative index are simply connected. We give new and conceptually simpler proofs for both of Herrero's results based on the observation that on the essential resolvent set of T the section spaces of the sheaves

are complete nuclear spaces that are topologically dual to each other. Other concrete applications of this result are given.

We obtain a series representation for ζ(s) valid in Res> – k(<0). This representation is obtained by a sequence of regrouping of the series 1–2−s + 3−s–4−s + …( = (1—21−s)ζ(s), Re s > 0). We can obtain asymptotic relations like

as an application of our series representation for ζ(s).

What does a simple ring with unity, a topological T0-space and a graph that has at most one loop but may possess edges, have in common? In this note we show that they all are Brown–McCoy semisimple. Suliński has generalised the well-known Brown–McCoy radical class of associative rings (cf. [1]) to a category which satisfies certain conditions. In [3] he defines a simple object, a modular class of objects and the Brown–McCoy radical class as the upper radical class determined by a modular class in a category which, among others, has a zero object and kernels. To include categories like that of topological spaces and graphs, we use the concepts of a trivial object and a fibre. We then follow Suliński and define a simple object, a modular class of objects and then the Brown–McCoy radical class as the upper radical class determined by a modular class.