We show that increases with λ, for 0< λ < 1, being the kth zero of the ultraspherical polynomial and f(λ) a suitable function of λ. As a consequence, some inequalities for and an estimate for can be obtained.

Direct and elementary derivation of the classical Poisson kernel for the ball in n = 2 or n = 3 dimensions starting with the usual expression involving the brownian motion bω, the stopping time T on the boundary, and Ex the conditional expectation on paths starting at x.

The following two theorems are proved. If R is an Archimedean conducive integral domain, then R is quasilocal and dim(R) ≤1. If each overring of an integral domain R has ascending chain condition on divisorial ideals, then the integral closure of R is a Dedekind domain. Both theorems sharpen results already known in the Noetherian case. The second theorem leads to a strengthened converse of the Krull-Akizuki Theorem. We also investigate the effect of restricting the hypothesis in the second theorem to the proper overrings of R.

Let Zm denote the ring of integers modulo an integer m > 1 and let G(Zm) be the group under composition of all Zm-automorphisms of Zm[X]. In this paper we determine Zm[X]G(zm) the subring of Zm[X] left fixed by elements of G(Zm).

The Franklin spline system in [0,1] has been generalized by Strömberg to a system in ℝn which is an unconditional basis in Hp(ℝn) for p > n/(n + m +1). Here the natural number m is the order of the system. For some of these values of p, it was known that the Hp quasi-norm is equivalent to a certain expression containing the coefficients of the function with respect to this basis. We prove this equivalence for all p > n/(n + m +1).

If O → A → C → B → O is a short exact sequence of finitely generated modules over a Noetherian Pi-algebra then we show that GK(C) = max{GK(A), GK(B)}.

It is shown that a coincidence theorem which is a natural generalisation of Brouwer's fixed point theorem also gives a short and simple proof of the fundamental theorem of algebra.

An iterative technique is used to establish an oscillation theorem for the equation x″+ a(t)x=0 which relaxes the condition that a(t) satisfy

without the restriction that

Let KG be the group ring of the group G over the field K and U(KG) its unit group. When G is finite we derive conditions which imply that every noncentral subnormal subgroup of U(KG) contains a free group of rank two. We also show that residual nilpotence of U(KG) coincides with nilpotence, this being no longer true if G is infinite.

We can answer partially the following question: when is G sub-normal in U(KG)?

D. R. Woodall has introduced closely-related notions of Menger and König duals which can be applied to a broad range of combinatorial contexts. The present paper considers these two notions for finite ground sets in terms of syntactic duality principles. Specific graph-theoretic interpretations are cited.

An example of a bounded self adjoint operator A is constructed so that A⊗I + α(I⊗A) is purely singularly continuous but A⊗1 + β(I⊗A) is purely absolutely continuous, for some real α and β. In fact α - β can be chosen arbitrarily small.

Let R be a prime ring and U be a nonzero ideal or quadratic Jordan ideal of R. If L is a nontrivial automorphism or derivation of R such thatuL(u)—L(u)u is in the center of R for every u in U, then the ring R is commutative.

A group G is said to have the FINITE INDEX property (G is an FI-group) if, whenever H≤G, xp ∈ H for some x in G and p > 0, then |〈H, x〉: H| is finite. Following a brief discussion of some locally nilpotent groups with this property, it is shown that torsion-free solvable groups of finite rank which have the isolator property are FI-groups. It is deduced from this that a finitely generated torsion-free solvable group has an FI-subgroup of finite index if and only if it has finite rank.

Inverting the Castelnuovo bound in two ways, we show that for given integers p ≥ 0, d > 1, n > 1, we can find a smooth irreducible curve of genus p which contains a linear system of degree d and of maximal dimension relative to the given data p and d, and a smooth irreducible curve of genus p which contains a linear system of dimension n and of minimal degree relative to the data p and n.

The fact that no real Grassmann manifolds Gk(Rn) are parallelizable (or even stably parallelizable) except for the obvious cases G1R2≅S1, G1(R4)≅G3(R4) ≅ RP3, and G1(R8)≅ G7(R8) ≅ RP7 was first noted by Hiller and Stong. Their work in turn depends on induction and the work of Oproiu, who examined detailed calculations of Stiefel-Whitney classes for k = 2, 3. In this note we give a short proof of this result, using elementary results from K-theory, that also covers the complex and quaternionic Grassmann manifolds.

The number of sets of integers which are realizable as block sizes of a pairwise balanced design of order n is between and ; in contrast, when the multiplicity of each block size is also specified, the number of multisets which can be realized is between and . Although this gives a reasonable bound on the number of multisets which can be realized, a good characterization is not likely to exist; deciding whether a multiset can be so realized is NP-complete.

The analogue of Horn's theorem characterizing finite unions of linearly independent sets in a vector space is shown to fail in the group of integers.

A norm |⋅| on a Banach space X is locally uniformly rotund (LUR) if lim |xn — x| = 0 for every xn, x ∈ X for which lim2|x|2 + 2 |xn|2-|xn+xn|2 = 0. It is shown that a Banach space X admits an equivalent LUR norm provided there is a bounded linear operator T of X into c0(Γ) such that T* c*0(Γ) is norm dense in X*. This is the case e.g. if X* is weakly compactly generated (WCG).

The linear subspace S of B(X, Y), the space of bounded operators from the Banach space X to the Banach space Y, is said to be transitive if Sx is dense in Y for all x ≠ 0. We give a number of conditions, involving operators intertwined by S, which imply that S is not transitive, and conditions which, when X = Y, imply that the commutant of S is also not transitive.

Let d(n;l,k) denote the number of divisors of the positive integer n which are congruent to I modulo k. The objective of the present paper is to prove that (for some exponent θ<⅓)

holds uniformly in l, k and x satisfying 1≤l≤k≤x. This improves a recent result due to R. A. Smith and M. V. Subbarao [3].