Here it is proved that if Q(x, y, z, t, u) is a real indefinite quinary quadratic form of type (4,1) and determinant D, then given any real numbers x0, y0, z0, t0, u0 there exist integers x, y, z, t, u such that

All critical forms are also obtained.

Although the harmonic series diverges, there is a sense in which it “nearly converges”. Let N denote the set of all positive integers, and S a subset of N. Then there are various sequences S for which converges, but for which the “omitted sequence” N–S is, in intuitive sense, sparse, compared with N. For example, Apostol [1] (page 384) quotes, without proof the case where S is the set of all Positive integers whose decimal representation does not invlove the digit zero (e.g. 7∈S but 101 ∉ S); then (1) converges, with T < 90.

Let (х) = (x1, x2, … xn) = Σi Σiaij, xixf (aij = aij) be a positive quadratic form with determinant D, and let M be the minimum of for integral x ≠ 0. Then attains the value M for a finite number of integral x = ±mk ( k = 1, …, s) called its minimal vectors.

Ising [1] proposed the problem which now bears his name and solved it for the one-dimensional case only, leaving the higher dimensional cases as unsolved problems. The first solution to the two dimensional Ising problem was obtained by Onsager [6]. Onsager's method was subsequently explained more clearly by Kaufman [3]. More recently, Kac and Ward [2] discovered a simpler procedure involving determinants which is not logically complete.

This paper deals with the Schrödinger equation $i{\partial }_{s} u(\mathbf{z} , t; s)- \mathcal{L} u(\mathbf{z} , t; s)= 0, $ where $ \mathcal{L} $ is the sub-Laplacian on the Heisenberg group. Assume that the initial data $f$ satisfies $\vert f(\mathbf{z} , t)\vert \lesssim {q}_{\alpha } (\mathbf{z} , t), $ where ${q}_{s} $ is the heat kernel associated to $ \mathcal{L} . $ If in addition $\vert u(\mathbf{z} , t; {s}_{0} )\vert \lesssim {q}_{\beta } (\mathbf{z} , t), $ for some ${s}_{0} \in \mathbb{R} \setminus \{ 0\} , $ then we prove that $u(\mathbf{z} , t; s)= 0$ for all $s\in \mathbb{R} $ whenever $\alpha \beta \lt { s}_{0}^{2} . $ This result holds true in the more general context of $H$-type groups. We also prove an analogous result for the Grushin operator on ${ \mathbb{R} }^{n+ 1} . $

For a locally finite directed graph E, it is known that the graph C*-algebra C*(E) has real rank zero if and only if the graph E satisfies the loop condition (K). In this paper we extend this to an arbitrary directed graph case using the desingularization of a graph due to Drinen and Tomforde

Various continuity conditions (in norm, in measure, weakly etc.) for the nonlinear superposition operator F x(s) = f(s, x(s)) between spaces of measurable functions are established in terms of the generating function f = f(s, u). In particular, a simple proof is given for the fact that, if F is continuous in measure, then f may be replaced by a function f which generates the same superposition operator F and satisfies the Carathéodory conditions. Moreover, it is shown that integral functional associated with the function f are proved.

This paper is concerned with graphs of order n and diameter at most 3 having the property that by deleting any s or fewer vertices (edges) the resulting subgraphs (partial graphs) have duameter at most. λ. A graph satisfying the above constraints and having minimum number of edges is said to be extramal. A characterization of extremal graphs is presented for the case s = 1.

Subject classification (Amer. Math. Soc. (MOS) 1970): 05 C 35.

We shall consider the following mathematical model of dams of finite capacity. In the time interval (0, ∞) water is flowing into a dam (reservoir). Denote by χ(u) the total quantity of water flowing into the dam in the time interval (0, u). The capacity of the dam is a finite positive number h. If the dam becomes full, the excess water overflows. Denote by δ(u) the total quantity of water demanded in the time interval (0, u). If there is enough water in the reservoir the demand is satisfied, if there is not enough water the difference is supplied from elsewhere Denote by η(t) the content of the dam at time t. η(0) is the initial content.

In 1959 Hayman proved an inequality from which it follows that if f is transcendental and meromorphic in the plane then either f takes every finite complex value infinitely often or each derivative f(k), k ≥1, takes every finite non-zero value infinitely often. We investigate the extent to which these values may be ramified, and we establish a generalization of Hayman's inequality in which multiplicities are not taken into account.

Generalised wreath products of permutation groups were discussed in a paper by Bailey and us. This note determines the orbits of the action of a generalised wreath product group on m–tuples (m ≥ 2) of elements of the product of the base sets on the assumption that the action on each component is m–transitive. Certain related results are also provided.

Let Hn denote the set of complex n-square positive semidefinite hermtian matrices. We partially order Hn: If A, B, A–B єHn, write A > B. For A єHn, Write P(A) for the permanental adjoint of A, i.e., P(A) is the n-suare matrix whose i, j entry is per A(j/i), where A(j/i) is the submatrix of A obtained by deleting row j and column i. Now, P(A) is a principal submatrix of t he (n–1)st induced power matrix of AT. Hence, P(A) ∈Hn. Also D(A), the classical adjoing, is in Hn.

For a simply connected planar domain D with 0 ∈ D and dist(0, ∂D) = 1, let hD(r) be the harmonic measure of ∂ D ∩{|Z| ≤ r} evaluated at 0. The function hD(r) is the distribution of harmonic measure. It has been studied by B. L. Walden and L. A. Ward. We continue their study and answer some questions raised by them by constructing domains with pre-specified distribution.

Certain permutation representations of free groups are constructed by finite approximation. The first is a construction of a cofinitary group with special properties, answering a question of Tim Wall published by Cameron. The second yields, via a method of Kepert and Willis, a totally disconnected locally compact group which is compactly generated and uniscalar but has no compact open normal subgroup. Finally, an oligomorphic group of automorphisms of the random graph is built, all of whose non-trivial subgroups have just finitely many orbits.

A unified study is undertaken of finitely generated varieties HSP () of distributive lattices with unary operations, extending work of Cornish. The generating algebra () is assusmed to be of the form (P; ∧, ∨, 0, 1, {fμ}), where each fμ is an endomorphism or dual endomorphism of (P; ∧, ∨, 0, 1), and the Priestly dual of this lattice is an ordered semigroup N whose elements act by left multiplication to give the maps dual to the operations fμ. Duality theory is fully developed within this framework, into which fit many varieties arising in algebraic logic. Conditions on N are given for the natural and Priestley dualities for HSP () to be essentially the same, so that, inter alia, coproducts in HSP () are enriched D-coproducts.

N(G) denotes the near-ring of all continuous selfmaps of the topological group G (under composition and the pointwise induced operation) and N0(G) is the subnear-ring of N(G) consisting of all functions having the identity element of G fixed. It is known that if G is discrete then (a) N0(G) is simple and (b) N(G) is simple if and only if G is not of order 2. We begin a study of the ideal structure of these near-rings when G is a disconnected group.

Let C[[t]] denote the algebra of all formal power series over the complex field C in a commutative indeterminate t with the weak topology determined by the projections pj: Σαiti ↦αj. A subalgebra A of C[[t]] is a Banach algebra of power series if it contains the polynomials and is a Banach algebra under a norm such that the inclusion map A ⊂ C[[t]] is continuous. Such algebras were first introduced in [13] when considering algebras with one generator, and studied, in a special case, in [23]. For a partial bibliography of their subsequent study and application see the references of [9] (note that the usage of the term Banach algebra of power series in [9] differs from that here), and also [2], [3], [11]. Indeed, an examination of their use in [11], under more general topological conditions than here, led the present author to the results of [14], [15], [16], [17].

In this paper we investigate near-rings of polynomials and polynomial functions. After some results which belong to universal algebra we turn our attention to the familiar case of polynomials and polynomial functions over a commutative ring with identity. We study the relation between ring- and near-ring homomorphisms, and the behaviour of polynomial near-rings when the ring splits into a direct sum. A discussion of the structure of these polynomial near-rings (radical, semisimplicity) finishes this paper. These investigations are motivated by Clay and Doi (1973).

In this paper we prove that a pairwise Hausdorff bitopological space is quasi-metrizable if and only if for each point x ∈ X and for i, j = 1,2, i ≠ j, one can assign nbd bases { S(n, i; x) | n = 1, 2,… } such that (i) y ∉ S (n − 1, i; x) imples S(n, i; x) ∩ S (n, j; y) = φ, (ii) y ∈ S (n, i; x) implies S (n, i; y) ⊂ S(n − 1, i; x). We derive two further results from this.

The object of the paper is to establish an instability theorem for sixth order differential equations of the form (1.1). The proof is based on the use of Krasovskii criteria.