For every integer $k\geqslant 3$ we construct a $k$-gonal curve $C$ along with a very ample divisor of degree $2g+k-1$ (where $g$ is the genus of $C$) to which the vanishing statement from the Green–Lazarsfeld gonality conjecture does not apply.

1.1. In an earlier paper [6] the author proved

Theorem A. If α ≥ 0, β ≥ 0 (α, β integers), p > –1, p–r > –1 then necessary and sufficient conditions for a sequence (εn) to be such that

are

and

If α ≥ 1 (α an integer) and (ii) holds, then (i)bis equivalent to

Given a set D of positive real numbers, let Xn(D) denote the graph with ℝn as the vertex set such that two points are joined if their distance is in D. Bukh conjectured in [Measurable sets with excluded distances. Geom. Funct. Anal.18 (2008), 668–697] that if D is algebraically independent, then Chr(Xn(D)), the chromatic number of Xn(D), is finite. Here we prove that Chr(Xn(D)) is countable and that, if n=2 , even the coloring number is countable. Furthermore, we prove that Chr (Y ) is countable, where Y is the following graph on ℂn: let 𝔽 be a countable subfield of ℂ and let D⊆ℂ be algebraically independent over 𝔽; join a,b∈ℂn if there is some p(x,y)∈𝔽[x,y] such that p(x,x) is identically zero and p(a,b)≠0 is algebraic over some d∈𝔽∪D.

Let K0(x) be a simple transcendental extension of a field K0, υ0 be a valuation of K0 with value group G0 and residue field K0. Suppose is an inclusion of totally ordered abelian groups with [G1: G0] < ∞ such that G is the direct sum of G1 and an infinite cyclic group. It is proved that there exists an (explicitly constructible) valuation υ of K0(x) extending υ0 such that the value group of υ is G and its residue field is k, where k is a given finite extension of k0. This is analogous to a result of Matignon and Ohm [2, Corollary 3.2] for residually non-algebraic prolongations of υ0 to K0(x).

In this paper, we study a finite connected graph which admits a quasi-monomorphism to hyperbolic spaces and give a geometric bound for the Cheeger constants in terms of the volume, an upper bound of the degree, and the quasi-monomorphism.

An expression is found here for the small transverse displacement of a thin elliptic plate due to a force applied at an arbitrary point of the plate. The plate is in the form of a complete ellipse and is clamped along the boundary. The displacement is expressed in terms of infinite series in §§2–4. The convergence of the series is rapid unless the eccentricity of the ellipse is nearly unity. The simplest case in which the force is applied at the centre of the plate is considered in §5; the displacement of the centre due to this force is compared in §6 with the corresponding displacements of a circular plate and of an infinite strip.

A subsemigroup S of a semigroup Q is a left order in Q, and Q is a semigroup of left quotients of S, if every element of Q can be written as a−1b for some a, b∈S with a belonging to a group -class of Q. Necessary and sufficient conditions on a semigroup S are obtained in order that S be a left order in a completely 0-simple semigroup Q. The class of all completely 0-simple semigroups of left quotients of S is related to the set of certain left congruences on S. Axioms are provided for semigroups which occur in the discussion of left orders in completely 0-simple semigroups.

§1. Introduction. The spectral function ρα(μ) (−∞<μ<∞) associated with the Sturm–Liouville equation

and a boundary condition

is a non-decreasing function of μ which is defined in terms of the Titchmarsh–Weyl function mα(λ) for (1.1) and (1.2).

We consider the first boundary value problem for a second-order parabolic equation with variable coefficients in the domain $K\times \mathbb{R}^{n-m}$, where $K$ is an $m$-dimensional cone. The main results of the paper are pointwise estimates of the Green’s function.

In [1] I made the following conjecture. If we tile a convex polygon of at most six sides with N convex tiles of areas a1, …,aN, then the total perimeter of the tiles is never less than the total perimeter of N regular hexagons of areas a1, …, aN. In order to show that the condition of the convexity of the tiles cannot be omitted I constructed a tiling with an equal number of “pentagons” and “heptagons” of perimeters and areas and , and ā5 and ā7, respectively. In a letter to me R. Schneider kindly pointed out that, in contrast to the value given in [1], the value of the quotient was equal to 3.7263… This being greater than √8√3 = 3–7224… the tiling given in [1] does not yield the desired counter-example. In what follows we shall construct a tiling for which the respective quotient will turn out to be less than √8√3.

The problem of finding an axiomatic characterisation of dimension was first tackled by Menger, who gave a set of five independent axioms characterising the dimension (in the sense of dim, ind, or Ind since they are all equal on separable metric spaces) of subsets of the plane [7, p. 156]. The question of whether Menger's axioms characterise the dimension of more general spaces is still unsettled. Recently, Nishiura “11” obtained a set of seven independent axioms characterising the dimension of separable metric spaces. By modifying one of Nishiura's axioms, Aarts [1] then obtained an axiomatic characterisation of the strong inductive dimension (Ind) of metric spaces. Also, Ščepin [12] and Lokucievskiĭ [9] have obtained different axioms for dim on the class of compact metric and compact spaces, respectively. We present here four sets of independent axioms that characterise the dimension function u-dim, which is defined on the class of all uniform spaces.

Let M be a finite extension field of the rational numbers Q, and let CM denote the ideal class group of M. Let l be a rational prime, and let AM denote the l-class group of M (i.e., the Sylow l-subgroup of CM). If G is any finite abelian l-group, we define

where ℤl is the ring of l-adic integers and Fl is the finite field of l elements. One of the classical results of algebraic number theory is the specification of rank AM when M is a quadratic extension of Q and l = 2. This result was obtained by means of Gauss's theory of genera. A generalization of this result can be found in [1], where A. Fröhlich has obtained upper and lower bounds for rank AM when M is a cyclic extension of Q of degree l. His methods also show how to compute rank AM exactly when l = 3. In [4], G. Gras has described a procedure for analyzing the l-class groups of relatively cyclic extensions of degree l. However when l > 3, the computations can be very difficult.

A unified method is used to improve the order of the lower bound sieve.

The authors regret that a misprint has occurred in the main theorem of their recent paper with the above title [Mathematika, 23 (1976), 220–226]. The congruence condition which p1 should satisfy modulo if p1 has odd order.

Let φ(n) be the Euler function (i.e., φ(n) denotes the number of integers less than n which are relatively prime to n), and define

These functions were extensively studied by several mathematicians. One of the problems investigated concerns their sign changes. We say that a function fx) has a sign change at x = x0 if f(x0 −) f(x0 +) < 0, and f(x) has a sign change on the integer n if (n)f(n+1) < 0. The numbers of sign changes and sign changes on integers of f(x) in the interval [1, T] are denoted by Xf(T) and Nf(T), respectively.

Given a sequence a(l), a(2), a(3), … of complex numbers such that a(n) ≤ 0(nc) for some c > 0, we define, for Im(z) > 0,

where q(λ) = exp (2πiz/λ), λ > 0 and a is a real number. Throughout this paper, for complex numbers x, w with x ≠ 0, xw = exp (w log x) and the principal branch is taken for the logarithm. Then it is easily verified that the infinite product converges absolutely and uniformly in every compact subset of the upper half plane H. Hence f(z) is holomorphic in H. The aim of this paper is to determine holomorphic functions in H defined by (1) which satisfy the special transformation formula

for some real number k under certain assumptions.

§0. We begin by stating a theorem of Jarník [1]. Let m be a positive integer, 0 < β < m, and Ψ(q) a positive function of integers q > 0. Let E be the set of points (x1, …, xm) for which the inequality

admits infinitely many solutions q ≥ 1. Then, supposing

Jarník proves that E has infinite Hausdorff β-measure.

In this paper the method of inner and outer sums [5], together with the computational power of computer symbolic manipulation, are used to extend to high order the asymptotic expansions in an appropriate limit of some infinite series arising in low Reynolds-number fluid mechanics. The enhanced applicability of the expansions is demonstrated, and the method is extended to treat alternating series.

In the present paper a general solution of the equations of elasticity in complete aeolotropy is found under the assumption that the stresses and therefore the strains are linear in the third cartesian coordinate. This solution is applied to the elastic equilibrium of a completely aeolotropic cylinder, under a distribution of tractions on the lateral surface and resultant forces and couples on the end sections of the cylinder. The problem of extension of a completely aeolotropic cylinder by longitudinal lateral loading and end forces is solved with an application to the elliptic cylinder. The writer hopes to present in later communications applications of this general solution to the following problems: (i) Bending of a completely aeolotropic cylinder by longitudinal lateral loading and end bending couples, (ii) Torsion of a completely aeolotropic cylinder by transverse lateral loading and end twisting couples, (iii) Flexure with shear of a completely aeolotropic cylinder with free lateral surface. Particular cases of (ii) and (iii) were considered by Luxenberg [1] and Lechnitzky [2, 3].

A function

analytic and univalent in U = {z: |z| < 1} is said to be starlike there, if f(U) is f starshaped with respect to the origin, that is, if w ε f(U) implies tw ε f(U) for 0 ≤t ≤ 1. We denote by S* the class of all such functions. The Koebe function; k(z) = z(l – z)-2, z ε U, maps U onto the complex plane minus a slit along the I negative real axis from - ¼ to ∞, and thus belongs to the class S*. Recently Leung [4] has shown that, if

then, for f ε S*,

for every p > 0.